Classification of topologically protected gates for local stabilizer codes

Given a quantum error correcting code, an important task is to find encoded operations that can be implemented efficiently and fault-tolerantly. In this Letter we focus on topological stabilizer codes and encoded unitary gates that can be implemented by a constant-depth quantum circuit. Such gates have a certain degree of protection since propagation of errors in a constant-depth circuit is limited by a constant size light cone. For the 2D geometry we show that constant-depth circuits can only implement a finite group of encoded gates known as the Clifford group. This implies that topological protection must be "turned off" for at least some steps in the computation in order to achieve universality. For the 3D geometry we show that an encoded gate U is implementable by a constant-depth circuit only if the image of any Pauli operator under conjugation by U belongs to the Clifford group. This class of gates includes some non-Clifford gates such as the \pi/8 rotation. Our classification applies to any stabilizer code with geometrically local stabilizers and sufficiently large code distance.Comment: 6 pages, 2 figure

Topological insulator and the Dirac equation

We present a general description of topological insulators from the point of view of Dirac equations. The Z_{2} index for the Dirac equation is always zero, and thus the Dirac equation is topologically trivial. After the quadratic B term in momentum is introduced to correct the mass term m or the band gap of the Dirac equation, the Z_{2} index is modified as 1 for mB>0 and 0 for mB<0. For a fixed B there exists a topological quantum phase transition from a topologically trivial system to a non-trivial one system when the sign of mass m changes. A series of solutions near the boundary in the modified Dirac equation are obtained, which is characteristic of topological insulator. From the solutions of the bound states and the Z_{2} index we establish a relation between the Dirac equation and topological insulators.Comment: 9 pages, published versio

Isospin Dependence of the Spin-Orbit Force and Effective Nuclear Potentials,

The isospin dependence of the spin-orbit potential is investigated for an effective Skyrme-like energy functional suitable for density dependent Hartree-Fock calculations. The magnitude of the isospin dependence is obtained from a fit to experimental data on finite spherical nuclei. It is found to be close to that of relativistic Hartree models. Consequently, the anomalous kink in the isotope shifts of Pb nuclei is well reproduced.Comment: Revised, 11 pages (Revtex) and 2 figures available upon request, Preprint MPA-833, Physical Review Letters (in press)

The classical capacity of quantum thermal noise channels to within 1.45 bits

We find a tight upper bound for the classical capacity of quantum thermal noise channels that is within $1/\ln 2$ bits of Holevo's lower bound. This lower bound is achievable using unentangled, classical signal states, namely displaced coherent states. Thus, we find that while quantum tricks might offer benefits, when it comes to classical communication they can only help a bit.Comment: Two pages plus a bi

Resonant Tunneling through Multi-Level and Double Quantum Dots

We study resonant tunneling through quantum-dot systems in the presence of strong Coulomb repulsion and coupling to the metallic leads. Motivated by recent experiments we concentrate on (i) a single dot with two energy levels and (ii) a double dot with one level in each dot. Each level is twofold spin-degenerate. Depending on the level spacing these systems are physical realizations of different Kondo-type models. Using a real-time diagrammatic formulation we evaluate the spectral density and the non-linear conductance. The latter shows a novel triple-peak resonant structure.Comment: 4 pages, ReVTeX, 4 Postscript figure

Towards the specification and verification of modal properties for structured systems

System specification formalisms should come with suitable property specification languages and effective verification tools. We sketch a framework for the verification of quantified temporal properties of systems with dynamically evolving structure. We consider visual specification formalisms like graph transformation systems (GTS) where program states are modelled as graphs, and the program behavior is specified by graph transformation rules. The state space of a GTS can be represented as a graph transition system (GTrS), i.e. a transition system with states and transitions labelled, respectively, with a graph, and with a partial morphism representing the evolution of state components. Unfortunately, GTrSs are prohibitively large or infinite even for simple systems, making verification intractable and hence calling for appropriate abstraction techniques

Contribution of Scalar Loops to the Three-Photon Decay of the Z

I corrected 3 mistakes from the first version: that were an omitted Feynman integration in the function f^3_{ij}, a factor of 2 in front of log f^3_{ij} in eq.2 and an overall factor of 2 in Fig.1 c). The final result is changed drastically. Doing an expansion in the Higgs mass I show that the matrix element is identically 0 in the order (MZ/MH)^2, which is due to gauge invariance. Left with an amplitude of the order (MZ/MH)^4 the final result is that the scalar contribution to this decay rate is several orders of magnitude smaller than those of the W boson and fermions.Comment: 6 pages, plain Tex, 1 figure available under request via fax or mail, OCIP/C-93-5, UQAM-PHE-93/0